How can I extract and use a PGP public key from HTML in PHP for encryption